1. برهان گودل و حقیقت و برهان
پدیدآورنده : ناگل، ارنست، ۱۹۰۱- Nagel, Ernest
کتابخانه: کتابخانه کوثر دانشگاه قم (قم)
موضوع : گودل، قضیه,منطق ریاضی
رده :
QA
۹
/
۶۵
/
ن
۲
ب
۴ ۱۳۶۴
2. برهان گودل و حقیقت و برهان
پدیدآورنده : نویسندگان ارنست ناگل، ج. نیومن و آلفرد تارسکی
کتابخانه: کتابخانه انتشارات سمت (تهران)
موضوع : گودل، قضیه,منطق ریاضی
رده :
QA
۹
/
۶۵
/
ن
۲
ب
۴ ۱۳۶۴
3. برهان گودل و حقیقت و برهان
پدیدآورنده : نویسندگان ارنست ناگل، ج. نیومن و آلفرد تارسکی
کتابخانه: كتابخانه و مركز اسناد بنياد ايران شناسى (تهران)
موضوع : گودل، قضیه,منطق ریاضی
رده :
QA
۹
/
۶۵
/
ن
۲
ب
۴ ۱۳۶۴
4. برهان گودل و حقیقت و برهان
پدیدآورنده : ناگل، ارنست
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : گودل، قضیه,منطق ریاضی
رده :
QA
۹
/
۶۵
/
ن
۲
ب
۴
5. برهان گودل و حقیقت و برهان
پدیدآورنده : / نویسندگان ارنست ناگل، ج. نیومن، آلفرد تارسکی,عنوان اصلی: Godel's Proof.
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع : گودل، قضیه,منطق ریاضی
رده :
QA
۹،
/
۶۵
/
ن
۲
ب
۴
6. برهان گودل و حقیقت و برهان
پدیدآورنده : ناگل، ارنست Nagel, Ernest ۱۹۰۱ -
کتابخانه: کتابخانه و مرکز اسناد فرهنگستان هنر (تهران)
موضوع : گودل، قضیه,منطق ریاضی
رده :
QA
۹
/
۶۵
/
ن
۲
ب
۴ ۱۳۶۴
7. برهان گودل و حقيقت و برهان
پدیدآورنده : نويسندگان ارنست ناگل, ج نيومن و آلفرد تارسکي, ترجمه محمد اردشير
موضوع : گودل, قضيه منطق رياضي
۶ نسخه از این کتاب در ۶ کتابخانه موجود است.
8. برهان گودل و حقیقت و برهان
پدیدآورنده : ناگل، ارنست، ۱۹۰۱ - Nagel, Ernest
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه حکیم سبزواری (خراسان رضوی)
موضوع : گودل، قضیه,منطق ریاضی
رده :
QA
۹
/
۶۵
/
ن
۲
ب
۴ ۱۳۶۴
9. برهان گودل و حقیقت و برهان
پدیدآورنده : ناگل، ارنست، ۱۹۰۱ - م. Nagel, Ernest
کتابخانه: کتابخانه و موزه ملی ملک (تهران)
موضوع : گودل، قضیه,منطق ریاضی
رده :
۵۱۱
/
۳
ن
۲۱۸
ب
/
الفت
۱۳۶۴
10. برهان گودل و حقیقت و برهان
پدیدآورنده : نویسندگان ارنست ناگل، ج. نیومن و آلفرد تارسکی
کتابخانه: کتابخانه و مرکز اطلاع رسانی شیخ بهائی (دفتر تبليغات اسلامی حوزه علميه خراسان) (خراسان رضوی)
موضوع : گودل، قضیه,منطق ریاضی
رده :
QA
۹
/
۶۵
/
ن
۲،
ب
۴
11. برهان گودل و حقیقت و برهان
پدیدآورنده : ناگل، نیومن تارسکی
موضوع : برهان قضیه,منطق ریاضی
۷ نسخه از این کتاب در ۷ کتابخانه موجود است.
12. برهان گودل و حقیقت و برهان
پدیدآورنده : / نویسندگان ارنست ناگل، ج. نیومن و آلفرد تارسکی,عنوان اصلی به زبان اصلی: Godel's proof
کتابخانه: کتابخانه مرکزی دانشگاه ایلام (ایلام)
موضوع : برهان قضیه,منطق ریاضی
رده :
QA
۹
/
۶۵
/
ن
۲
ب
۴
13. برهان گودل و حقيقت و برهان,برهان گودل و حقيقت و برهان
پدیدآورنده : ناگل ، ارنست ، 1901-,نويسندگان ارنست ناگل ، ج . نيوسن و آلفروتارسكي ؛ ترجمه محمد اردشير
کتابخانه: کتابخانه دانشگاه علوم اسلامی رضوى (ع) (خراسان رضوی)
موضوع : گودل ، قضيه=منطق رياضي
رده :
ب
218
ن
3/
11
14. برهانهای استاندارد قضیه ی دوم ناتمامیت گودل
پدیدآورنده : /شیوا خالقی
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع :
15. برهانهای قضایای ناتمامیت بر اساس پارادوکس بری,QA
پدیدآورنده : /سونیا سروری مهرآباد
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع :
16. تأملى بر استقراى ریاضى
پدیدآورنده : على بیگدلى، لطف اللّه نبوى
کتابخانه: کتابخانه مجازی (دیجیتالی) الفبا (تهران)
موضوع : استقرا;نظریه مجموعه ها; اعداد طبیعی;استقراء ریاضی;فلسفه منطق;فلسفه ریاضیات;منطق;,فرا قضیه تمامیت;استقرای ضعیف;استقراء ریاضی قوی;اصل استقرای ریاضی;
17. مباحثی در فلسفه ریاضی: برهان گودل و حقیقت برهان
پدیدآورنده : ناگل، ارنست، ۱۹۰۱- م.، Ernest ,Nagel
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : گودل، قضیه,منطق ریاضی
رده :
QA
۹
/
ن
۲۸